propositional logic vs predicate logic Download